7,768 research outputs found

    Coal extrusion in the plastic state

    Get PDF
    Continuous feeding of coal in a compressing screw extruder is described as a method of introducing coal into pressurized systems. The method utilizes the property of many bituminous coals of softening at temperatures from 350 to 425 C. Coal is then fed, much in the manner of common thermoplastics, using screw extruders. Data on the viscosity and extruder parameters for extrusion of Illinois No. 6 coal are presented

    The concealed Caledonide basement of eastern England and the southern North Sea : a review

    Get PDF
    Field mapping, analysis of borehole core and studies of geophysical potential field and seismic data can be used to demonstrate the existence of a number of distinct crustal blocks within Eastern Avalonia beneath eastern England and the southern North Sea. At the core of these blocks is the Midlands Microcraton which is flanked by Ordovician volcanic arc complexes exposed in Wales and the Lake District. A possible volcanic arc complex of comparable age in eastern England is concealed by late Palaeozoic and Mesozoic cover. These volcanic arc complexes resulted from subduction of oceanic lithosphere beneath Avalonia prior to collision with Baltica and Laurentia in late Ordovician and Silurian time, respectively. The nature of the crust north and east of the concealed Caledonides of Eastern England and south of the lapetus Suture/Tornquist Sea Suture, which forms the basement to the southern North Sea, is unclear. Late Ordovician metamorphic ages from cores penetrating deformed metasedimentary rocks on the Mid-North Sea High suggest these rocks were involved in Avalonia-Baltica collision before final closure of the lapetus Ocean between Laurentia and Avalonia

    Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting

    Get PDF
    Cylindrical algebraic decomposition (CAD) is an important tool, both for quantifier elimination over the reals and a range of other applications. Traditionally, a CAD is built through a process of projection and lifting to move the problem within Euclidean spaces of changing dimension. Recently, an alternative approach which first decomposes complex space using triangular decomposition before refining to real space has been introduced and implemented within the RegularChains Library of Maple. We here describe a freely available package ProjectionCAD which utilises the routines within the RegularChains Library to build CADs by projection and lifting. We detail how the projection and lifting algorithms were modified to allow this, discuss the motivation and survey the functionality of the package

    Models of the diffuse radar backscatter from Mars

    Get PDF
    The topographies of several debris flow units near the Mount St. Helens Volcano were measured at lateral scales of millimeters to meters in September 1990. The objective was to measure the surface roughness of the debris flows at scales smaller than, on the order of, and larger that the radar wavelength of common remote sensing radars. A laser profiling system and surveying instruments were used to obtain elevation data for square areas that varied in size from 10 to 32 cm. The elevation data were converted to estimates of the power spectrum of surface roughness. The conversions were based upon standard periodogram techniques, and upon a modified spectral estimation technique that was developed

    Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains

    Get PDF
    A new algorithm to compute cylindrical algebraic decompositions (CADs) is presented, building on two recent advances. Firstly, the output is truth table invariant (a TTICAD) meaning given formulae have constant truth value on each cell of the decomposition. Secondly, the computation uses regular chains theory to first build a cylindrical decomposition of complex space (CCD) incrementally by polynomial. Significant modification of the regular chains technology was used to achieve the more sophisticated invariance criteria. Experimental results on an implementation in the RegularChains Library for Maple verify that combining these advances gives an algorithm superior to its individual components and competitive with the state of the art

    Mammals of Southwestern Arkansas Part II. Rodents

    Get PDF
    This study investigated the composition and habitat affinities of the mammalian fauna of southwestern Arkansas. The study area was comprised of the 21 counties located south and/or west of and including Pulaski County. The previously existing data set pertaining to the mammals of Arkansas was notably incomplete and this study area in particular, was poorly known mammalogically. Specimens were collected by standard trapping and salvage methods throughout the study area. The mammals considered during this study were limited to those species meeting a set of criteria designed to eliminate species that had been introduced or artificially maintained. This study has accumulated records of 25 species of rodents; over 1500 specimens have been recorded; and a total of 95 new county records have been documented
    • …
    corecore